Wąsowski, Andrzej: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 9633 || RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules

Stevens, Perdita, Wąsowski, Andrzej

Year:

2016

File:

PDF, 1.56 MB

2016

2

The self-calibration method of IR mixer with low IF

Andrzej Szymański, Ewa Kurjata-Pfitzner, Jan Lesiński, Jerzy Wąsowski

Journal:

Analog Integrated Circuits and Signal Processing

Year:

2008

Language:

english

File:

PDF, 597 KB

english, 2008

3

Real-time specifications

David, Alexandre, Larsen, Kim G., Legay, Axel, Nyman, Ulrik, Traonouez, Louis-Marie, Wąsowski, Andrzej

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 1.09 MB

english, 2015

4

Variability mechanisms in software ecosystems

Berger, Thorsten, Pfeiffer, Rolf-Helge, Tartler, Reinhard, Dienst, Steffen, Czarnecki, Krzysztof, Wąsowski, Andrzej, She, Steven

Journal:

Information and Software Technology

Year:

2014

Language:

english

File:

PDF, 867 KB

english, 2014

5

[ACM Press the Sixth International Workshop - Leipzig, Germany (2012.01.25-2012.01.27)] Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems - VaMoS '12 - Cool features and tough decisions

Czarnecki, Krzysztof, Grünbacher, Paul, Rabiser, Rick, Schmid, Klaus, Wąsowski, Andrzej

Year:

2012

Language:

english

File:

PDF, 693 KB

english, 2012

6

Maximizing entropy over Markov processes

Biondi, Fabrizio, Legay, Axel, Nielsen, Bo Friis, Wąsowski, Andrzej

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2014

Language:

english

File:

PDF, 605 KB

english, 2014

7

Trustworthy variant derivation with translation validation for safety critical product lines

Iosif-Lazăr, Alexandru F., Wąsowski, Andrzej

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 1.12 MB

english, 2016

8

[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Experiences from Designing and Validating a Software Modernization Transformation (E)

Iosif-Lazar, Alexandru F., Al-Sibahi, Ahmad Salim, Dimovski, Aleksandar S., Savolainen, Juha Erik, Sierszecki, Krzysztof, Wasowski, Andrzej

Year:

2015

Language:

english

File:

PDF, 253 KB

english, 2015

9

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 9633 ||

Stevens, Perdita, Wąsowski, Andrzej

Year:

2016

Language:

english

File:

PDF, 25.69 MB

english, 2016

10

[ACM Press the 7th international conference - Nashville, TN, USA (2008.10.19-2008.10.23)] Proceedings of the 7th international conference on Generative programming and component engineering - GPCE '08 - Efficient compilation techniques for large scale feature models

Mendonca, Marcilio, Wasowski, Andrzej, Czarnecki, Krzysztof, Cowan, Donald

Year:

2008

Language:

english

File:

PDF, 358 KB

english, 2008

11

Controller synthesis for dynamic hierarchical real-time plants using timed automata

Waez, Md Tawhid Bin, Wąsowski, Andrzej, Dingel, Juergen, Rudie, Karen

Journal:

Discrete Event Dynamic Systems

Year:

2017

Language:

english

File:

PDF, 2.14 MB

english, 2017

12

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Intention-Based Integration of Software Variants

Lillack, Max, Stanciulescu, Stefan, Hedman, Wilhelm, Berger, Thorsten, Wasowski, Andrzej

Year:

2019

Language:

english

File:

PDF, 314 KB

english, 2019

13

[ACM Press the 2018 26th ACM Joint Meeting - Lake Buena Vista, FL, USA (2018.11.04-2018.11.09)] Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 - Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT

Hebig, Regina, Seidl, Christoph, Berger, Thorsten, Pedersen, John Kook, Wąsowski, Andrzej

Year:

2018

File:

PDF, 1.12 MB

2018

14

Constraint Markov Chains

Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 1.01 MB

english, 2011

15

Modeling software product lines using color-blind transition systems

Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2007

Language:

english

File:

PDF, 1.38 MB

english, 2007

16

EXPTIME-complete Decision Problems for Modal and Mixed Specifications

Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 374 KB

english, 2009

17

New results for Constraint Markov Chains

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski

Journal:

Performance Evaluation

Year:

2012

Language:

english

File:

PDF, 1.12 MB

english, 2012

18

[ACM Press Proceeding of the 33rd international conference - Waikiki, Honolulu, HI, USA (2011.05.21-2011.05.28)] Proceeding of the 33rd international conference on Software engineering - ICSE '11 - Reverse engineering feature models

She, Steven, Lotufo, Rafael, Berger, Thorsten, Wąsowski, Andrzej, Czarnecki, Krzysztof

Year:

2011

Language:

english

File:

PDF, 520 KB

english, 2011

19

[ACM Press the 16th International Software Product Line Conference - Salvador, Brazil (2012.09.02-2012.09.07)] Proceedings of the 16th International Software Product Line Conference on - SPLC '12 -volume 1 - CVL

Haugen, Øystein, Wąsowski, Andrzej, Czarnecki, Krzysztof

Year:

2012

Language:

english

File:

PDF, 657 KB

english, 2012

20

Compositional verification of real-time systems usingEcdar

Alexandre David, Kim. G. Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wąsowski

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1.21 MB

english, 2012

21

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - APAC: A Tool for Reasoning about Abstract Probabilistic Automata

Delahaye, Benoît, Larsen, Kim G., Legay, Axel, Pedersen, Mikkel L., Wasowski, Andrzej

Year:

2011

Language:

english

File:

PDF, 151 KB

english, 2011

22

[ACM Press the Seventh International Workshop - Pisa, Italy (2013.01.23-2013.01.25)] Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '13 - Feature-oriented software evolution

Passos, Leonardo, Czarnecki, Krzysztof, Apel, Sven, Wąsowski, Andrzej, Kästner, Christian, Guo, Jianmei

Year:

2013

Language:

english

File:

PDF, 650 KB

english, 2013

23

The design space of multi-language development environments

Pfeiffer, Rolf-Helge, Wąsowski, Andrzej

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.78 MB

english, 2015

24

Robust synthesis for real-time systems

Larsen, Kim G., Legay, Axel, Traonouez, Louis-Marie, Wąsowski, Andrzej

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 770 KB

english, 2014

25

A modal specification theory for components with data

Bauer, Sebastian S., Larsen, Kim G., Legay, Axel, Nyman, Ulrik, Wąsowski, Andrzej

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 485 KB

english, 2014

26

SENSORY AND VASO-MOTOR DISTURBANCE IN FACIAL PARALYSIS.

Bauer, Sebastian S., Larsen, Kim G., Legay, Axel, Nyman, Ulrik, Wąsowski, Andrzej

Journal:

Year:

1892

Language:

english

File:

PDF, 187 KB

english, 1892

27

Efficient synthesis of feature models

She, Steven, Ryssel, Uwe, Andersen, Nele, Wąsowski, Andrzej, Czarnecki, Krzysztof

Journal:

Information and Software Technology

Year:

2014

Language:

english

File:

PDF, 1.85 MB

english, 2014

28

Abstract Probabilistic Automata

Delahaye, Benoît, Katoen, Joost-Pieter, Larsen, Kim G., Legay, Axel, Pedersen, Mikkel L., Sher, Falak, Wąsowski, Andrzej

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 1.56 MB

english, 2013

29

[IEEE 11th International Software Product Line Conference (SPLC 2007) - Kyoto, Japan (2007.09.10-2007.09.14)] 11th International Software Product Line Conference (SPLC 2007) - Feature Diagrams and Logics: There and Back Again

Czarnecki, Krzysztof, Wasowski, Andrzej

Year:

2007

Language:

english

File:

PDF, 191 KB

english, 2007

30

[ACM Press the 4th International Workshop - Dresden, Germany (2012.09.24-2012.09.25)] Proceedings of the 4th International Workshop on Feature-Oriented Software Development - FOSD '12 - Towards a catalog of variability evolution patterns

Passos, Leonardo, Czarnecki, Krzysztof, Wąsowski, Andrzej

Year:

2012

Language:

english

File:

PDF, 573 KB

english, 2012

31

A Study of Variability Models and Languages in the Systems Software Domain

Berger, Thorsten, She, Steven, Lotufo, Rafael, Wasowski, Andrzej, Czarnecki, Krzysztof

Journal:

IEEE Transactions on Software Engineering

Year:

2013

Language:

english

File:

PDF, 3.20 MB

english, 2013

32

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Compositional Design Methodology with Constraint Markov Chains

Caillaud, Benoit, Delahaye, Benoit, Larsen, Kim G., Legay, Axel, Pedersen, Mikkel L., Wasowski, Andrzej

Year:

2010

Language:

english

File:

PDF, 274 KB

english, 2010

33

[IEEE 2008 12th International Software Product Line Conference (SPLC) - Limerick, Ireland (2008.09.8-2008.09.12)] 2008 12th International Software Product Line Conference - Sample Spaces and Feature Models: There and Back Again

Czarnecki, Krzysztof, She, Steven, Wasowski, Andrzej

Year:

2008

Language:

english

File:

PDF, 471 KB

english, 2008

34

[IEEE 2011 11th International Conference on Application of Concurrency to System Design (ACSD) - Newcastle Upon Tyne (2011.06.20-2011.06.24)] 2011 Eleventh International Conference on Application of Concurrency to System Design - New Results on Abstract Probabilistic Automata

Delahaye, Benoît, Katoen, Joost-Pieter, Larsen, Kim G., Legay, Axel, Pedersen, Mikkel L., Sher, Falak, Wasowski, Andrzej

Year:

2011

Language:

english

File:

PDF, 334 KB

english, 2011

35

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Example-Driven Modeling: Model = Abstractions + Examples

Bak, Kacper, Zayan, Dina, Czarnecki, Krzysztof, Antkiewicz, Michal, Diskin, Zinovy, Wasowski, Andrzej, Rayside, Derek

Year:

2013

Language:

english

File:

PDF, 102 KB

english, 2013

36

[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - Variability modeling in the real

Berger, Thorsten, She, Steven, Lotufo, Rafael, Wąsowski, Andrzej, Czarnecki, Krzysztof

Year:

2010

Language:

english

File:

PDF, 566 KB

english, 2010

37

[ACM Press the Seventh International Workshop - Pisa, Italy (2013.01.23-2013.01.25)] Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '13 - A survey of variability modeling in industrial practice

Berger, Thorsten, Rublack, Ralf, Nair, Divya, Atlee, Joanne M., Becker, Martin, Czarnecki, Krzysztof, Wąsowski, Andrzej

Year:

2013

Language:

english

File:

PDF, 465 KB

english, 2013

38

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Variability-aware performance prediction: A statistical learning approach

Guo, Jianmei, Czarnecki, Krzysztof, Apel, Sven, Siegmund, Norbert, Wasowski, Andrzej

Year:

2013

Language:

english

File:

PDF, 412 KB

english, 2013

39

Findings of Persistent Scatterer Interferometry (PSI) for Vilnius area, Lithuania

Cyziene, Jolanta, Graniczny, Marek, Kowalski, Zbigniew, Piotrowski, Andrzej, Satkunas, Jonas, Wasowski, Janusz

Journal:

Journal of Environmental Engineering and Landscape Management

Year:

2010

Language:

english

File:

PDF, 1.46 MB

english, 2010

40

Modal and mixed specifications: key decision problems and their complexities

ANTONIK, ADAM, HUTH, MICHAEL, LARSEN, KIM G., NYMAN, ULRIK, WĄSOWSKI, ANDRZEJ

Journal:

Mathematical Structures in Computer Science

Year:

2010

Language:

english

File:

PDF, 756 KB

english, 2010

41

[ACM Press the 29th ACM/IEEE international conference - Vasteras, Sweden (2014.09.15-2014.09.19)] Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14 - 42 variability bugs in the linux kernel

Abal, Iago, Brabrand, Claus, Wasowski, Andrzej

Year:

2014

Language:

english

File:

PDF, 777 KB

english, 2014

42

Clafer: unifying class and feature modeling

Bąk, Kacper, Diskin, Zinovy, Antkiewicz, Michał, Czarnecki, Krzysztof, Wąsowski, Andrzej

Journal:

Software & Systems Modeling

Year:

2016

Language:

english

File:

PDF, 3.45 MB

english, 2016

43

Coevolution of variability models and related software artifacts

Passos, Leonardo, Teixeira, Leopoldo, Dintzner, Nicolas, Apel, Sven, Wąsowski, Andrzej, Czarnecki, Krzysztof, Borba, Paulo, Guo, Jianmei

Journal:

Empirical Software Engineering

Year:

2016

Language:

english

File:

PDF, 4.20 MB

english, 2016

44

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Flexible product line engineering with a virtual platform

Antkiewicz, Michał, Ji, Wenbin, Berger, Thorsten, Czarnecki, Krzysztof, Schmorleiz, Thomas, Lämmel, Ralf, Stănciulescu, Ștefan, Wąsowski, Andrzej, Schaefer, Ina

Year:

2014

Language:

english

File:

PDF, 320 KB

english, 2014

45

On efficient program synthesis from statecharts

Wasowski, Andrzej

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 343 KB

english, 2003

46

Systematic derivation of correct variability-aware program analyses

Midtgaard, Jan, Dimovski, Aleksandar S., Brabrand, Claus, Wąsowski, Andrzej

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 957 KB

english, 2015

47

Quantifying information leakage of randomized protocols

Biondi, Fabrizio, Legay, Axel, Malacaria, Pasquale, Wąsowski, Andrzej

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 1.04 MB

english, 2015

48

[ACM Press the 2003 ACM SIGPLAN conference - San Diego, California, USA (2003.06.11-2003.06.13)] Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems - LCTES '03 - On efficient program synthesis from statecharts

Wasowski, Andrzej

Year:

2003

Language:

english

File:

PDF, 343 KB

english, 2003

49

[ACM Press the 16th International Software Product Line Conference - Salvador, Brazil (2012.09.02-2012.09.07)] Proceedings of the 16th International Software Product Line Conference on - SPLC '12 -volume 1 - Efficient synthesis of feature models

Andersen, Nele, Czarnecki, Krzysztof, She, Steven, Wąsowski, Andrzej

Year:

2012

Language:

english

File:

PDF, 853 KB

english, 2012

50

[ACM Press the 13th international conference - Lugano, Switzerland (2014.04.22-2014.04.26)] Proceedings of the 13th international conference on Modularity - MODULARITY '14 - Systematic derivation of static analyses for software product lines

Midtgaard, Jan, Brabrand, Claus, Wasowski, Andrzej

Year:

2014

Language:

english

File:

PDF, 764 KB

english, 2014